$\forall$$M$:MsgA. ma{-}body($M$) $\in$ Shape($M$)